Object Reachability via Swaps along a Line
نویسندگان
چکیده
منابع مشابه
Object Allocation via Swaps along a Social Network
This article deals with the allocation of objects where each agent receives a single item. Starting from an initial endowment, the agents can be better off by exchanging their objects. However, not all trades are likely because some participants are unable to communicate. By considering that the agents are embedded in a social network, we propose to study the possible allocations emerging from ...
متن کاملA short line segment squirms along a zigzag line
When a short straight line segment moves across a zigzag line and is viewed in one's peripheral vision, it appears to exhibit nonrigid squirming motion (the squirm effect). This phenomenon demonstrates that the form, orientation, and motion direction of a short line are influenced by those of a longer one when they are viewed in one's peripheral vision.
متن کاملProgram Analysis via Graph Reachability
This paper describes how a number of program-analysis problems can be solved by transforming them to graph-reachability problems. Some of the program-analysis problems that are amenable to this treatment include program slicing, certain dataflow-analysis problems, and the problem of approximating the possible "shapes" that heap-allocated structures in a program can take on. Relationships betwee...
متن کاملReachability Analysis via Face Lifting
In this paper we discuss the problem of calculating the reach able states of a dynamical system de ned by ordinary di erential equa tions or inclusions We present a prototype system for approximating this set and demonstrate some experimental results
متن کاملLiveness and Reachability for Elementary Object Systems
This contribution presents the decidability results for the formalism of Elementary Object Systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach known as the netswithin-nets paradigm. In this paper we study the relationship of the reachability and the liveness problem. We prove that both problems are undecidable for Eos (even for the subclass of conservative Eo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the AAAI Conference on Artificial Intelligence
سال: 2019
ISSN: 2374-3468,2159-5399
DOI: 10.1609/aaai.v33i01.33012037